En géométrie, un domaine fondamental pour l'action d'un groupe sur un ensembleE est une région de E dont les images par l'action du groupe forment une partition de E[1]. C'est donc un domaine contenant exactement un point par orbite du groupe.
↑(en) S. V. Duzhin et B. D. Chebotarevsky, Transformation Groups For Beginners, (ISBN978-0-8218-3643-9), p. 152.